منابع مشابه
Abstraction Mechanisms in Theta
ion Mechanisms in Theta Mark Day Robert Gruber Barbara Liskov Andrew C. Myers Programming Methodology Group Memo 81 February 1994 MIT Laboratory for Computer Science 545 Technology Square Cambridge, MA 02139, USA mday,gruber,liskov,andru @lcs.mit.edu
متن کاملAbstraction Mechanisms in CLU
ion Mechanisms in CLU Barbara Liskov, Alan Snyder, Russell Atkinson, and Craig Schaffert Massachusetts Institute of Technology CLU is a new programming language designed to support the use of abstractions in program construction. Work in programming methodology has led to the realization that three kinds of abstractionsprocedural, control, and especially data abstractionsare useful in the progr...
متن کاملData Abstraction in VCC
In these notes, we present a methodology for verifying C code, i.e. proving mechanically that it meets its functional specifications. We target C because it is (along with C++) the the language of choice for writing “important” software (operating system kernels, device drivers, compilers, etc.). The methodology has been developed for VCC, a verifier for concurrent C code. VCC and papers about ...
متن کاملAbstraction Mechanisms for Hardware Veriication
ion Mechanisms for Hardware Veri cation Thomas F. Melham University of Cambridge Computer Laboratory New Museums Site, Pembroke Street Cambridge, CB2 3QG, England Abstract: It is argued that techniques for proving the correctness of hardware designs must use abstraction mechanisms for relating formal descriptions at di erent levels of detail. Four such abstraction mechanisms and their formaliza...
متن کاملData Abstraction in Coordination Constraints
This paper studies complex coordination mechanisms based on constraint satisfaction. In particular, it focuses on data-sensitive connectors from the Reo coordination language. These connectors restrict how and where data can flow between loosely-coupled components taking into account the data being exchanged. Existing engines for Reo provide a very limited support for data-sensitive connectors,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 1988
ISSN: 0362-1340,1558-1160
DOI: 10.1145/62084.62107